61. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
62. Mathematical foundations of programming semantics :
پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
63. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده: M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
64. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
65. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده: Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
66. Mathematical programing , Proceedings of an advance seminar conducted by the mathemaics Resarch Center the univeristy of Wiscons Wisconssim, and the UlS. Army at Madison sept. 11-13 , 1972
پدیدآورنده: Advanced seminar on Mathematical programmiong, Madison, 2791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Programming ) Mathematics( - Congresses
رده :
QA
3
.
U45
67. Mathematical programming
پدیدآورنده: / edited by T. C. Huand, Stephen M. Robinson, proceedings of an advenced seminar conducted by the Mathematical Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming (Mathematics) - Congresses
رده :
658
.
4033
A244m
1972
68. Mathematical programming;
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming (Mathematics) -- Congresses
رده :
3
.
U45
,
no
.
30
69. Mathematical programming Proceedings of...
پدیدآورنده: ^aInterantional congress on mathematical programming, Riode Janeiro, 1981
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming (Mathematics)- Congresses
رده :
519
I61m
70. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده: Advanced Seminar on Mathematical Programming, Madison, Wis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming )Mathematics(
رده :
T
57
.
7
.
A38
71. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده: Advanced Seminar on Mathematical Programming, 2791, Madison, Wis.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Mathematics(-- Congresses
رده :
QA
3
.
U45
no
.
30
72. Mathematical programming: recent developments and applications
پدیدآورنده: edited by Masao Iri and Kunio Tanabe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
M35288
73. Mathematical programs for activity analysis
پدیدآورنده: Moeseke, Paul van
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Programming )Mathematics( Congresses
رده :
T
57
.
7
.
M63
1974
74. Mathematics of Program Construction
پدیدآورنده: \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامه‌نویسی -- ریاضیات -- کنگره ها ,برنامه‌های کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
75. Mathematics of program constructio
پدیدآورنده: / Philippe Audebaud, Christine Paulin-Mohring (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.
رده :
QA
,
76
.
6
,.
I5535
,
2008eb
76. Mathematics of program construction
پدیدآورنده: / Eerke A. Boiten, Bernhard M?�ller (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
M6926
,
2002
77. Mathematics of program construction
پدیدآورنده: / Roland Backhouse, Josae Nuno Oliveira (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
78. Mathematics of program construction :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
79. Mathematics of program construction
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
80. Mathematics of program construction
پدیدآورنده: Jeremy Gibbons, Pablo Nogueira (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
رده :
QA76
.
6
.
M6926
2012eb
